因明 (हेतुविद्या)
$ \begin{array}{c} 現量 ^{\forall x p(x)} & \to & 比量 ^{p\to q} \\ 聖敎量 & \hookleftarrow & 似量 \end{array}.
$ p(s)\simeq s\to p.
量 (pramāṇa)
現量 (pratyakṣa)
比量 (anumāna)
爲自比量 (sva-artha-anumāna)
$ _{沒頭}\uarr\frac{S 主 \circlearrowright _{離接}}{s 述 \circlearrowright _{退隱}}宗-因-喩\frac{同 \forall x s(x)}{異 \forall x \neg s(x)}.
1. 主-因 : 遍是宗法性 (pakṣa-dharmatā)
2. 因-同喩 : 同品定有性 (sapakṣa-sattva)
3. 因-異喩 : 異品遍無性 (vipakṣa-vyāvRttitva/asattva)
周延
代示
$ \begin{array}{c} S_1 & \to & S_2 & \to & S_3 & \to… \\ \cancel S & & \cancel S'\backslash S_1 & & \cancel S''\backslash S_2 & \end{array}.
爲他比量 (para-artha-anumāna)
聲聞
敎へる - 學ぶ (原始偶然)
自相 (svalakṣaṇa) - 共相 (sāmānya-lakṣaṇa)
自相
共相
三證
理證
現證
身讀
古因明 (五分作法)
宗 (主張)・因 (理由)・喩 (實例)・合 (適合)・結 (結論)
fact (data、事實), warrant (根據), backing (裏附け), rebuttal (論駁), conclusion (結論)